formal proofs of validity